Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
511	Microsoft PowerPoint - Hogistics Add to Reading List Source URL: www.fbssystems.com Language: English - Date: 2014-08-27 23:09:26 Formal sciences Knowledge Ethology Insurance Predictive analytics Discrete event simulation Simulation Computer simulation Analytics Science Business intelligence Scientific modeling
512	15th INTERNATIONAL CONFERENCE ON SYSTEMS RESEARCH, INFORMATICS & CYBERNETICS Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:47:20 Systems Systems science Nature Formal sciences Systems theory Engineering cybernetics Cybernetics Science Control theory
513	Toward Idealized Decision Theory Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-05-13 12:24:25 Ethology Formal sciences Reasoning Causal decision theory Intelligent agent Evidential decision theory Causality Multi-agent system Decision making Science Knowledge Artificial intelligence
514	Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2013-03-11 00:53:25 Logic Formal sciences Frege system Propositional calculus IEEE Symposium on Logic in Computer Science Mathematical logic Logic programming Proof theory Samuel Buss Theoretical computer science Logic in computer science Mathematics
515	Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 ANSI/ISO C Specification Language C programming language Frama-C Program logic Logic in computer science Formal sciences Hoare logic Logic Polyspace Software engineering Computer programming Computing
516	R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Logic programming Automated planning and scheduling Formal methods Reasoning Action description language Answer set programming Action language Algorithm Boolean satisfiability problem Theoretical computer science Applied mathematics Artificial intelligence
517	PDF Document Add to Reading List Source URL: www.burtchworks.com Language: English - Date: 2014-08-11 11:21:29 Computing Business intelligence Emerging technologies Analytics Mathematical finance Data analysis Big data Apache Hadoop Technology Science Formal sciences
518	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.stat.upd.edu.ph Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
519	Blue_Yonder_Qlik_Atos_partnership Add to Reading List Source URL: www.blue-yonder.com Language: English - Date: 2014-12-11 01:29:30 Formal sciences Data management Atos consulting Atos Predictive analytics QlikTech Analytics Data mining Business intelligence Business Statistics
520	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: r.adu.org.za Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE